]> dgit.raspbian.org Git - gnome-shell.git/commitdiff
workspaceThumbnail: Don't rely on allocation to compute scale
authorFlorian Müllner <fmuellner@gnome.org>
Mon, 20 May 2024 18:22:11 +0000 (20:22 +0200)
committerMarge Bot <marge-bot@gnome.org>
Wed, 22 May 2024 12:02:00 +0000 (12:02 +0000)
We currently compute the target scale from the allocated height,
which means that it only becomes available after thumbnails have
been allocated at least once at their expanded height.

As the minimap is initially hidden, this only happens after it is
expanded for the first time, which means the corresponding transition
is not animated.

In order to allow for a fix, compute the target height ourselves
to allow the scale computation to work independently from the
expand factor.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3331>

js/ui/workspaceThumbnail.js

index 1302414fbf16d5aae4c036d33b6bcc3a4b265ec5..4e490478befe7e02152815ecd245291add25b9e6 100644 (file)
@@ -1267,11 +1267,18 @@ export const ThumbnailsBox = GObject.registerClass({
         // Compute the scale we'll need once everything is updated,
         // unless we are currently transitioning
         if (this._expandFraction === 1) {
+            const [, natWidth] = this.get_preferred_width(-1);
+            const [, natHeight] = this.get_preferred_height(natWidth);
             const totalSpacing = (nWorkspaces - 1) * spacing;
             const availableWidth = (box.get_width() - totalSpacing) / nWorkspaces;
+            const availableHeight =
+                Math.min(natHeight, portholeHeight * this.maxThumbnailScale) -
+                themeNode.get_vertical_padding() -
+                themeNode.get_border_width(St.Side.TOP) -
+                themeNode.get_border_width(St.Side.BOTTOM);
 
             const hScale = availableWidth / portholeWidth;
-            const vScale = box.get_height() / portholeHeight;
+            const vScale = availableHeight / portholeHeight;
             const newScale = Math.min(hScale, vScale);
 
             if (newScale !== this._targetScale) {